Evaluation dynamique et clôture algébrique en axiom
نویسندگان
چکیده
منابع مشابه
Geometrie Et Dynamique En Robotique
Le but de cet exposé est de relater les liens entre dynamique et géométrie. Les systèmes abordés relèvent de la robotique et nous verrons qu’en ce domaine, la quête de mécanismes de plus en plus sophistiqués, et de leur modèles dynamiques associés, se traduit par la complexification des structures géométriques qu’ils impliquent. Le point de vue adopté est celui du calcul des variations de type ...
متن کاملStatistique et dynamique des membranes complexes
Lipid bilayers, which form the basis of biological membranes, are self-assembled structures that belong to the field of soft matter. They feature very rich physical properties. While each of the two monolayers of the membrane is a two-dimensional fluid, the membrane resists bending and stretching: it is elastic. Biological membranes are composed of different lipid species and contain various in...
متن کاملFontes intelligentes, textèmes et typographie dynamique
The digital text representation model used by the industry today is the model proposed by the Unicode standard. This model, based on the concepts of character and glyph, provides the foundations for the so-called smart font technologies such as AAT, OpenType and Graphite. Using a formal description of Unicode’s text model, the authors compare the three said font formats, especially regarding pa...
متن کاملUn cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités
RÉSUMÉ.Dans cet article, nous présentons un cadre générique, graphique et algébrique, permettant de représenter et de manipuler des problèmes de décision séquentielle incluant incertitudes, faisabilités et utilités. Ce cadre, dénommé PFU pour Plausibilités, Faisabilités et Utilités, généralise de nombreux cadres proposés dans le domaine de l’Intelligence Artificielle : problèmes de satisfiabili...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1995
ISSN: 0022-4049
DOI: 10.1016/0022-4049(94)00053-l